x86/cpuid: Handle leaves 0x80000005-7 in guest_cpuid()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 20 Jan 2017 15:35:08 +0000 (15:35 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 25 Jan 2017 10:24:40 +0000 (10:24 +0000)
commit92ca9045243c2dfe50ee28bd02615c541cf75377
tree59519693668c75e4bf4ab41d338be99854ed3eef
parenta75f6163cf838a2bdfe67f7bcbe26beccd37106d
x86/cpuid: Handle leaves 0x80000005-7 in guest_cpuid()

Leaf 0x80000005 contains L1 cache/TLB information, 0x80000006 L2 & L3
cache/TLB information, and 0x80000007 Power management information.

Intel reserves all of this information other than the L2 cache information,
and the ITSC bit from the power management leaf.

AMD passes all of the cache/TLB information through to the guest, while most
of of the power management information is explicitly clobbered by the
toolstack.

0x80000007 edx (containing ITSC) is covered by the featureset logic.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/cpuid.c